Точная верхняя (нижняя) грань.

$M$ - точная верхняя грань множества $A$, если:

$$\forall{\epsilon > 0}~~ \exists{a \in A}\mathpunct{:}~~ a > M - \epsilon$$

$m$ - точная нижняя грань множества $A$, если:

$$\forall{\epsilon > 0}~~ \exists{a \in A}\mathpunct{:}~~ a < m + \epsilon$$